#ifndef __STDIO_H__
#define __STDIO_H__

#include "stddef.h"

int putchar(int c);
int printf(char*, ...);
void printinit(void);
void panic(char*);

#define UINT64_LEN 16

#define STDIN 0
#define STDOUT 1
#define STDERR 2

#define STDIN_PTR (file_t*)(1L << (38 + 1))
#define STDOUT_PTR (file_t*)(1L << (38 + 2))
#define STDERR_PTR (file_t*)(1L << (38 + 3))
#endif
